I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien 前者是将定性仿真算法看作一类约束满足问题,用约束逻辑程序加以改进,不仅为解决定性仿真问题提供了逻辑框架,而且也是一种规范化的程序描述语言;模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进,是一类半定量描述方法,有利于在定性仿真领域综合定量信息,同时提高算法的效率。
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses.
constraint logic programming meaning:[Computer] (CLP) A programming framework based (like Prolog ) on LUSH (or SLD ) resolution , but in which unification has been replaced by a constraint solver . A CLP interpreter contains a...